Removing Anti Dependences by Repairing

نویسندگان

  • M. Anton Ertl
  • Andreas Krall
چکیده

1 I n t r o d u c t i o n Computer designers and computer architects have been striving to improve uniprocessor performance since the invention of computers. The next step in this quest for higher performance is the exploitation of significant amounts of instruction-level parallelism. Therefore, superscalar and VLIW (very large instruction word) machines have been designed, which can execute several instructions in parallel. In order to use these resources the instructions are reordered by the hardware [Tho64, Tom67, PHS85, Soh90] or by compiler techniques like basic block instruction scheduling [LDSM80, HG83, GM86, EK92], trace scheduling [Fis81, El185] and software pipelining [RG81, Lam88, Ran94]. To ensure correctness, the order between dependent instructions must be maintained, which restricts reordering and parallelism. Dependences exist between writes and reads (data flow dependences), reads and writes (anti dependences) and between writes (output dependences) to the same register or memory location. In this paper, we will discuss only dependences through registers. We will also concentrate on anti dependences. Although the techniques discussed here can be used to eliminate output dependences, (partial) dead code elimination [KRS94, BC94] is more appropriate for this purpose. Another problem for exploiting significant amounts of instruction-level parallelism is the limited amount of registers (e.g., _< 32 integer registers on all

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Repairing and Inpainting Damaged Images using Diffusion Tensor

The Removing or repairing the imperfections of a digital images or videos is a very active and attractive field of research belonging to the image inpainting technique. This later has a wide range of applications, such as removing scratches in old photographic image, removing text and logos or creating cartoon and artistic effects. In this paper, we propose an efficient method to repair a damag...

متن کامل

Plugging Anti and Output Dependence Removal Techniques into Loop Parallelization Algorithms Ecole Normale Supérieure De Lyon Plugging Anti and Output Dependence Removal Techniques into Loop Parallelization Algorithms Plugging Anti and Output Dependence Removal Techniques into Loop Parallelization Algorithms

In this paper we shortly survey some loop transformation techniques which break anti or output dependences, or artiicial cycles involving such \false" dependences. These false dependences are removed through the introduction of temporary buuer arrays. Next we show how to plug these techniques into loop parallelization algorithms (such as Allen and Kennedy's algorithm). The goal is to extract as...

متن کامل

On the removal of anti and output dependencesPierre - Yves

In this paper we build upon results of Padua and Wolfe 8], who introduce two graph transformations to eliminate anti and output dependences. We rst give a uniied framework for such transformations. Then, given a loop nest, we aim at determining which statements should be transformed so as to break artiicial cycles involving anti or output dependences. The problem of nding the mininum number of ...

متن کامل

A general compilation algorithm to parallelize and optimize counted loops with dynamic data-dependent bounds

We study the parallelizing compilation and loop nest optimization of an important class of programs where counted loops have a dynamically computed, data-dependent upper bound. Such loops are amenable to a wider set of transformations than general while loops with inductively defined termination conditions: for example, the substitution of closed forms for induction variables remains applicable...

متن کامل

Repairing Ontologies via Axiom Weakening

Ontology engineering is a hard and error-prone task, in which small changes may lead to errors, or even produce an inconsistent ontology. As ontologies grow in size, the need for automated methods for repairing inconsistencies while preserving as much of the original knowledge as possible increases. Most previous approaches to this task are based on removing a few axioms from the ontology to re...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1996